-
בעיית הפילוסופים הסועדים
כל מה שרצית לדעת על בעיית הפילוסופים הסועדים:במדעי המחשב, בעיית הפילוסופים הסועדים היא המחשה לבעיות תזמון ותיאום שמופיעות בהקשרים של עיבוד מקבילי – מספר תוכניות שרצות יחד וחולקות משאבים משותפים. בשל פשטותה היחסית, הבעיה מוצגת לעיתים קרובות בקורסים בסיסיים העוסקים בנושאים הללו.את הבעיה הציפה שאלה שנוסחה בשנת 1971 על ידי אדסחר דייקסטרה, ולאחר מכן הומחשה…
-
תבנית עיצוב
כל מה שרצית לדעת על תבנית עיצוב:בהנדסת תוכנה, תבנית עיצוב (באנגלית: Design pattern) היא פתרון כללי לבעיה שכיחה בעיצוב תוכנה. תבנית עיצוב אינה עיצוב סופי שניתן להעבירו הישר לקוד, אלא תיאור או תבנית לדרך לפתרון בעיה, שעשויה להיות שימושית במצבים רבים. תבניות עיצוב מונחות עצמים מציגות לרוב יחסים וקשרי גומלין בין מחלקות או אובייקטים, בלי…
-
מחשבון
כל מה שרצית לדעת על מחשבון:מחשבון (ידוע גם בשם מחשב כיס) הוא מכשיר אלקטרוני שנועד לביצוע חישובים. קדמו למחשבון מכונת החישוב, שהיא מכשיר מכני לביצוע חישובים, סרגל חישוב ששימש בעיקר אנשי מדע ומהנדסים, בעיקר לפעולות כפל וחילוק והחשבונייה, ששימשה במשך אלפי שנים כשיטה לביצוע ארבע פעולות החשבון. המחשבון משמש לפתרון בעיות חישוביות פשוטות שאינן מצריכות…
-
הבונה העסוק
כל מה שרצית לדעת על הבונה העסוק:הבונה העסוק (Busy beaver) הוא שמה של בעיה לא כריעה במדעי המחשב, העוסקת בשאלה כמה עבודה ניתן לעשות באמצעות מכונת טיורינג עם מספר נתון של מצבים אפשריים, שפועלת על סרט ריק ועוצרת. שתי השאלות העיקריות בתחום זה הן: מהו המספר המרבי של צעדים שמכונת טיורינג עם n מצבים יכולה…
-
מחשוב סריגי
כל מה שרצית לדעת על מחשוב סריגי:מחשוב סריגי (באנגלית: Grid Computing) הוא מודל מחשוב שנועד לבצע פעולות חישוביות מסובכות על ידי ניצול כוח עיבוד ממספר רב של מחשבים שונים המחוברים יחדיו ברשת מחשבים. מודל זה יוצר ארכיטקטורת מחשבים המְחַלקת ביצוע תהליכים על פני תשתית של מחשוב מקבילי. מודלים של מחשוב סריגי משתמשים במשאבי המחשוב של…
-
שיטת מונטה קרלו
כל מה שרצית לדעת על שיטת מונטה קרלו:שיטת מונטה קרלו היא שיטה לפתרון בעיות חישוביות באמצעות מספרים אקראיים (בניגוד לאלגוריתמים דטרמיניסטיים הנהוגים בדרך כלל). אלגוריתמי מונטה קרלו הם אלגוריתמים חישוביים שמגרילים מספרים אקראיים מספר גדול של פעמים ומבצעים חישובים על המספרים שהוגרלו. לעתים קרובות משתמשים באלגוריתמי מונטה-קרלו כדי לבצע סימולציות על מערכות פיזיקליות או מתמטיות…
-
בעיית העצירה
כל מה שרצית לדעת על בעיית העצירה:בעיית העצירה היא בעיה מרכזית בתחום החישוביות, שהוא אחד מעמודי התווך של מדעי המחשב התאורטיים. בעיית העצירה מנוסחת כבעיית ההכרעה הבאה: בהינתן תוכנית מחשב וקלט, האם התוכנית תסיים את פעולתה בשלב כלשהו עבור קלט זה. אלן טיורינג הוכיח ב-1936 כי בעיית העצירה על מכונות טיורינג (מודל תאורטי של מחשב…
-
מדעי המחשב
כל מה שרצית לדעת על מדעי המחשב:מדעי המחשב הוא ענף מדעי העוסק בלימוד הבסיס התאורטי והמעשי של השימוש במערכות מחשב, ואף, במידה מסוימת, גם בשאלה של תכנון ובניה של מערכות מחשב. בתחום כלולים מספר רב של ענפי-משנה; חלקם מדגישים שימוש במחשב בתחום מסוים (כגון, גרפיקה ממוחשבת או בנית מהדרים), אחרים עוסקים בחקר התכונות של בעיות…
-
שפה פורמלית
כל מה שרצית לדעת על שפה פורמלית:במתמטיקה, לוגיקה ומדעי המחשב, שפה פורמלית היא קבוצה כלשהי של רצפים סופיים של סימנים (או אותיות) מקבוצה סופית Σ {\displaystyle \Sigma } .קבוצת הסימנים Σ {\displaystyle \Sigma } מכונה "האלפבית של השפה". את הרצפים של השפה נהוג לכנות "מילים". נלקח מויקיפדיה הגדרות נוספות הקשורות לשפה פורמלית:•בעיות שאינן ניתנות לחישוב•לוגיקה•שפות…
-
מכונת טיורינג לא-דטרמיניסטית
כל מה שרצית לדעת על מכונת טיורינג לא-דטרמיניסטית:כל אלגוריתם ניתן לתיאור על ידי מודל מתמטי מופשט המכונה מכונת טיורינג. בעוד מכונת טיורינג הסטנדרטית היא מכונת מצבים מוגדרת היטב (כלומר, לכל מצב של המכונה ברור באופן מוחלט (דטרמיניסטי) מה יהיה הצעד הבא של המכונה), מכונת טיורינג לא-דטרמיניסטית (Non-deterministic Turing machine, לעיתים מסומנת בקיצור מכונה א"ד) היא…